Nuprl Definition : es-pred
11,40
postcript
pdf
es-pred(
es
;
e
) == pred(
e
)
latex
clarification:
es-pred(
es
;
e
) == pred(es-pred?(
es
);
e
)
latex
Definitions
pred(
e
)
,
es-pred?(
es
)
FDL editor aliases
es-pred
origin